/**************************************************************
 *
 * userprog/ksyscall.h
 *
 * Kernel interface for systemcalls 
 *
 * by Marcus Voelp  (c) Universitaet Karlsruhe
 *
 **************************************************************/

#ifndef __USERPROG_KSYSCALL_H__ 
#define __USERPROG_KSYSCALL_H__ 

void SysHalt();
int SysAdd(int op1, int op2);
int SysStartProcess(char *filename);

#endif /* ! __USERPROG_KSYSCALL_H__ */
